Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท17h
๐Ÿ”—Graph Isomorphism
Let's Write a Macro in Rust
hackeryarn.comยท5hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท6h
๐Ÿ”ขDenotational Semantics
Neuro-Symbolic AI
en.wikipedia.orgยท7hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
In-Depth Analysis: "Attention Is All You Need"
dev.toยท6hยท
Discuss: DEV
๐Ÿง Intelligence Compression
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blogยท20hยท
โœ…Format Verification
Categorical systems theory
topos.instituteยท9h
๐Ÿ”€Category Theory
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท11h
๐Ÿ’ŽInformation Crystallography
Building the Reasoning Engine at Axiom
axiommath.aiยท2hยท
Discuss: Hacker News
โš”๏ธLean Tactics
Toy Binary Decision Diagrams
philipzucker.comยท4d
๐ŸงฎAlgebraic Datatypes
Memory Retrieval and Consolidation in Large Language Models through Function Tokens
arxiv.orgยท17h
๐Ÿ’ปProgramming languages
An enough week
blog.mitrichev.chยท1dยท
๐Ÿ“ˆLinear programming
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.comยท1dยท
๐ŸงฎAlgebraic Datatypes
Getting a Hypergraph of Functions to a Browser
systeminit.comยท1dยท
Discuss: Hacker News
๐Ÿ“E-graphs
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.caยท2hยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Access Control Policy Generation from High-Level Natural Language Requirements
dl.acm.orgยท2dยท
Discuss: Hacker News
๐Ÿ”’Language-based security
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Slip โ€“ A Lisp System in JavaScript
lisperator.netยท8hยท
Discuss: Hacker News
๐Ÿ”—Lisp
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.orgยท1d
๐Ÿ”จCompilers